beta :: forall x. [x] -> (Int -> x)